
TOP		= $(PROJECT_DIR)

DEBUG = -g

MLOPT	= @ocamlopt_dir@
MLHEADER = @ocaml_header_dir@
MLLIB = @ocaml_lib_dir@
CIL= $(TOP)/contrib/cil-1.4.0/obj/x86_DARWIN
CILSTUB = $(TOP)/parser/src/cilstub
CILAST = ${TOP}/parser/src/ast

export	TOP MLOPT MLHEADER MLLIB CIL CILSTUB CILAST


PKGS	= \
	parser/src \
	solvers/src \
	bmc/src


all: 
	for i in $(addprefix $(TOP)/,$(PKGS)); do \
		$(MAKE) -C $$i; \
	done

clean:
	for i in $(addprefix $(TOP)/,$(PKGS)); do \
		$(MAKE) -C $$i clean; \
	done
